[[Types of Category]]
# Empty Category
The **empty category** is the category with no objects and hence no morphisms
$$
\Ob{(\underline 0)} = \emptyset
$$
An empty category is the [[Initial and terminal objects|initial object]] in [[Category of small categories]].


---
#state/tidy | #SemBr